221. Passive and active measurement
پدیدآورنده: Neil Spring, George F. Riley (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer networks, Congresses,Engineering mathematics, Congresses,Information networks, Congresses,Internet-- Management, Congresses,Software measurement, Congresses
رده :
TK5105
.
5
.
P36
2011
222. Perspectives of System Informatics
پدیدآورنده: \ Andrei Voronkov, Irina Virbitskaite (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering -- Congresses.,Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,علوم کامپیوتر -- کنگره‌ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
758
.
P47
2015
E-Book
,
223. Perspectives on Software Requirements
پدیدآورنده: edited by Julio Cesar Sampaio Prado Leite, Jorge Horacio Doorn.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer-aided design.,Mathematics.,Software engineering.,Systems theory.
224. Physics for Programmers &Mathematics
پدیدآورنده: / Danny Kodicek, John P Flynt
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
225. Planetary spacecraft navigation /
پدیدآورنده: James Miller.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Astronautics.,Navigation (Astronautics),Space vehicles-- Control systems.,Aerospace Technology and Astronautics.,Mathematical Applications in Computer Science.,Software Engineering/Programming and Operating Systems.,Space Sciences (including Extraterrestrial Physics, Space Exploration and Astronautics).,Aerospace & aviation technology.,Astronautics.,Astronautics.,Computers-- Software Development & Engineering-- General.,Mathematics-- Applied.,Navigation (Astronautics),Science-- Astrophysics & Space Science.,Space vehicles-- Control systems.,Technology & Engineering-- Aeronautics & Astronautics.
رده :
TL1065
.
M55
2019
226. Practical augmented Lagrangian methods for constrained optimization
پدیدآورنده: / nezک Mario MartفErnesto G. Birgin, Jos
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
227. Practical foundations of business system specifications
پدیدآورنده: edited by Haim Kilov, independent consultant, Millington, NJ and Affiliate Professor, Stevens Institute of Technology, Hoboken, NJ, U.S.A., and Kenneth Baclawski, Associate Professor, College of Computer Science, Northeastern University, Boston, MA, U.S.A.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Business -- Data processing.,Computer software -- Development.,Software engineering.
228. Principles of distributed systems :
پدیدآورنده: Antonio Fernández Anta, Giuseppe Lipari, Matthieu Roy (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer networks, Congresses,Electronic data processing-- Distributed processing, Congresses
رده :
QA76
.
9
.
D5
O66
2011
229. 23, 2011. Proceedings-Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18
پدیدآورنده: / Andreas Distler, Muhammad Shah, Volker Sorge (auth.), James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: MINERAL PROCESSING&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY|MINING
رده :
E-BOOK
230. 23, 2010. Proceedings-bec City, Canada, June 21شMathematics of Program Construction: 10th International Conference, MPC 2010, Qu
پدیدآورنده: / chir Ktari (eds.)فo F. Ferreira (auth.), Claude Bolduc, Jules Desharnais, BعRoland Backhouse, Wei Chen, Jo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
231. Proceedings of the 2nd International Conference on Green Communications and Networks 2012 (GCN 2012). Volume 5
پدیدآورنده: Yuhang Yang, Maode Ma, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer networks -- Congresses.,TECHNOLOGY & ENGINEERING -- Telecommunications.,Telecommunication systems -- Congresses.
232. Program verification :
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
رده :
QA76
.
76
.
V47
P764
2013
233. Programming Projects in C for Students of Engineering, Science, and Mathematics
پدیدآورنده: / Rouben Rostamian
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
234. Programming with Turing and Object Oriented Turing /
پدیدآورنده: by Peter Grogono.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer science.
رده :
QA76
.
7-76
.
73
235. Quality of Communication-Based Systems :
پدیدآورنده: edited by Günter Hommel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Mathematics.,Software engineering.
رده :
QA76
.
9
.
A23
E358
1995
236. Quantitative measure for discrete event supervisory control /
پدیدآورنده: edited by Asok Ray, Vir V. Phoha, Shashi P. Phoha.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Discrete-time systems.,Supervisory control systems.,Discrete-time systems.,Informatique.,Supervisory control systems.,TECHNOLOGY & ENGINEERING-- Automation.,TECHNOLOGY & ENGINEERING-- Robotics.
رده :
TJ222
.
Q36
2005
237. Quaternion and Clifford Fourier Transforms and Wavelet
پدیدآورنده: / edited by Eckhard Hitzer, Stephen J. Sangwine
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer vision,Matrix theory,Fourier analysis,Numerical analysis,Number theory,Electronic books
رده :
E-BOOK
238. Real-Time C++ :
پدیدآورنده: Christopher Kormanyos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: C++ (Computer program language),Microcontrollers.,Microprogramming.,Computer architecture.,Computer science.,Computer system failures.,COMPUTERS-- Programming Languages-- C++.,Computers, Special purpose.,Microprogramming.,Software engineering.
رده :
QA76
.
73
.
C153
K695
2015
239. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
پدیدآورنده: ]edited by[ Harrie de Swart
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
رده :
QA
76
.
9
.
R36
2011
240. Relations and Graphs :
پدیدآورنده: by Gunther Schmidt, Thomas Ströhlein.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
9
.
M35
B948
1993
